Dict(
	[12, 9, 11, 5, 11, 1, 1, 10, 1, 1] => QQFieldElem[-1//16, 0, 0, 0])